Analysis Software with an Object - Oriented Petri Net Model

Petri net is used widely to analyze and model various systems formally. Recently, Many Petri nets mania devote their efforts to enhancing and extending the expressive Power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively and Naturally. Although several high-level Petri nets with the concept of objects are suggested, These nets do not fully support the object-oriented concepts. Object Oriented Methodology lacks the rigor to verify formal validate the designed system. Petri Nets provide formal graphical representation, incorporate concurrency and parallelism. In Colored Petri Nets (CPNs), Objects and object attributes can be modeled with data structures. The hierarchical structure of (CPNs) is useful in representing Class Inheritance and to describe dynamics of objects. To check the correctness of the designed system, there is a need to integrate Object Oriented techniques at design level and use of (CPNs) at the Verification and Validation level in software system development. This paper presents a technique to transform an Object Oriented Design (OOD) into Hierarchical (CPNs) model with Object Oriented Petri Nets Model (OOPNM) approach.